Abstraction and extensibility in digital logic simulation software

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Digital Logic Testing and Simulation Second Edition

ion. Streamlining the code can sometimes produce a significant improve-ment in simulation performance. 12.3.2 HDL Extensions and C++ There is a growing acceptance of high-level languages (HLLs), particularly C andC++, for conceptual or system level modeling. One reason for this is the fact that amodel expressed in an HLL usually executes more rapidly than the same modelexpressed...

متن کامل

Parallel Logic Simulation of Digital Circuits Abstract Parallel Logic Simulation of Digital Circuits

Parallel Logic Simulation of Digital Circuits By Hong Kyu Kim Parallel discrete event simulation (PDES) is e cient in simulating a large digital circuit. In this dissertation, two techniques are proposed to improve the performance of PDES in logic simulation. One is a partitioning algorithm and the other is a hybrid parallel simulation protocol. Experiments were performed to demonstrate that th...

متن کامل

Rewriting Logic Model of Compositional Abstraction of Aspect-Oriented Software

Abstraction is an operation of software specifications widely used in formal development and verification. One of the desirable features of the operation is compositionality. It would make abstraction easier to deal with if a system can be abstracted by composing the individual abstractions of the components of the original system. It is considered that compositional abstractions of aspect-orie...

متن کامل

Computer Systems Pedagogy Using Digital Logic Simulation

This paper shows how digital logic may be taught to undergraduate students through the use of a logic simulation tool designed for pedagogical purposes. Digital logic is commonly taught either completely theoretically or together with practical work on breadboards using Small Scale Integration (SSI) devices. Such practical work is limited in scope and often teaches more about how to connect wir...

متن کامل

Learning And Abstraction In Simulation

Complex s imula t ion programs t y p i c a l l y require large amounts of computation to produce h igh ly de ta i l ed output d i f f i c u l t fo r users to understand. Bu i ld ing abstracted s imula t ion systems tha t s imp l i f y both computation and output can make s imula t ion both more economical and more i n t e l l i g i b l e . Ve describe an approach to abstracted Simula* t i o n t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGCSE Bulletin

سال: 2009

ISSN: 0097-8418

DOI: 10.1145/1539024.1509014